翻訳と辞書
Words near each other
・ compiler jock
・ compiler language for information processing
・ compiler target language
・ compiler-compiler
・ compl
・ complement
・ complementary metal oxide semiconductor
・ complementary nondeterministic polynomial
・ complete
・ complete graph
complete inference system
・ complete lattice
・ complete metric space
・ complete partial ordering
・ complete theory
・ complete unification
・ completeness
・ complex instruction set computer
・ complex number
・ complex programmable logic device


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

complete inference system : FOLDOC
complete inference system
An inference system A is complete with respect to another system B if A can reach every conclusion which is true in B. The dual to completeness is soundness.
(1998-07-05)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.